ALGOL 68 - PDFSEARCH.IO - Document Search Engine

ALGOL 68
Results: 3011

#	Item
41	ROSE Compiler Infrastructure Source-to-Source Analysis and Optimization Dan Quinlan Rich Vuduc, Qing Yi, Markus Schordan Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2005-11-07 14:49:56 Software engineering Compiler optimizations Programming language theory Computer programming Compiler Loop fusion Loop optimization Program optimization Inline expansion ALGOL 68 Optimizing compiler Induction variable
42	Piazza Stats • • • Add to Reading List Source URL: cs.brown.edu Language: English - Date: 2015-10-06 14:56:29 Software engineering Computing Computer programming Boolean algebra Data types Concurrent programming languages Object-oriented programming languages Boolean data type Boolean expression ALGOL 68 Java Const
43	Debugging in REDUCE H. Melenk Konrad–Zuse–Zentrum f¨ ur Informationstechnik Berlin Takustrasse 7 Add to Reading List Source URL: reduce-algebra.com Language: English - Date: 2008-12-30 11:47:25 Software engineering Computer programming Subroutines Lisp For loop Return statement ALGOL 68 Foreach loop Recursion Parameter Statement Mouse
44	Option Values, Arrays, Sequences, and Lazy Evaluation Björn Lisper School of Innovation, Design, and Engineering Mälardalen University Add to Reading List Source URL: www.idt.mdh.se Language: English - Date: 2013-12-06 09:27:00 Software engineering Computer programming Computing Data types Abstract data types Evaluation strategy Lazy evaluation Array data type Array data structure ALGOL 68 List Subroutine
45	A Simple and General Theoretical Account for Abstract Types Hongwei Xi Boston University Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2009-08-25 14:30:22 Software engineering Computer programming Declarative programming Type theory Functional programming Procedural programming languages Data types Object-oriented programming Monad ALGOL 68 Polymorphism Abstract type
46	Curriculum Vitae et Studiorum Tullio Vardanega Curriculum Vitae et Studiorum of: Add to Reading List Source URL: www.math.unipd.it Language: English - Date: 2006-08-22 09:37:47 Software engineering Computing Programming language theory Ada EUROMICRO ALGOL 68 Association for Computing Machinery
47	FoCaLiZe! Programming and Proving! A Bit Under the Hood François Pessaux - ENSTA ParisTech (U2IS) Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-04-14 11:22:28 Software engineering Computer programming Programming language theory Functional languages Functional programming Procedural programming languages Mathematical proof Coq OCaml Natural deduction Mathematical logic ALGOL 68
48	Towards Deeper Understanding of Syntactic Concepts in Programming Sebastian Gross, Sven Strickroth, Niels Pinkwart, and Nguyen-Thinh Le Clausthal University of Technology, Department of Informatics Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2013-07-03 09:16:06 Educational psychology Compiler construction Artificial intelligence Programming languages Educational technology Intelligent tutoring system Cognitive tutor Syntax AutoTutor Compiler ALGOL 68 Exception handling
49	Binding-Time Analysis and the Taming of C Pointers ∗ Lars Ole Andersen DIKU, University of Copenhagen Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:06 Data types Procedural programming languages Type theory C Struct Type safety Pointer C++ classes Recursion ALGOL 68 Type system This
50	17 CPAdd missing language of content item and descendants to RDSR 1 Add to Reading List Source URL: dicom.nema.org Language: English - Date: 2016-05-30 09:30:00 Internationalization and localization Languages Radiobiology Identifiers ISO 639 IETF language tag ISO 639-3 Code Ionizing radiation Absorbed dose Language code ALGOL 68